21. Domains and Processes :
پدیدآورنده : edited by Klaus Keimel, Guo-Qiang Zhang, Ying-Ming Liu, Yi-Xang Chen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2001
22. Dynamic Worlds
پدیدآورنده : edited by Remo Pareschi, Bertram Fronhöfer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).
23. Existence and Explanation :
پدیدآورنده : edited by Wolfgang Spohn, Bas C. Fraassen, Brian Skyrms.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Linguistics -- Philosophy.,Logic.,Philosophy (General)
24. Experience, Reality, and Scientific Explanation :
پدیدآورنده : edited by Maria Carla Galavotti, Alessandro Pagnini.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Genetic epistemology.,Logic.,Philosophy (General)
25. Formal Aspects of Context
پدیدآورنده : edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
26. Formal Methods :
پدیدآورنده : by Evert W. Beth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General)
27. Formal Ontology and Conceptual Realism
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Philosophy (General). ; Logic. ; Philosophy, medieval. ; Metaphysics. ; Ontology. ; Linguistics ; Philosophy. ; Computer science. ; Philosophy. ; Ontology. ; Logic. ; Philosophy of Language. ; Medieval Philosophy. ; Mathematical Logic and Formal Languages
28. Foundations:
پدیدآورنده : edited by Hugues Leblanc, Elliott Mendelson, Alex Orenstein.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Science -- Philosophy.
29. Foundations of Rational Agency
پدیدآورنده : edited by Michael Wooldridge, Anand Rao.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Linguistics-- Philosophy.,Logic.,Mathematics.,Philosophy (General).
30. Fuzzy Sets, Logics and Reasoning about Knowledge
پدیدآورنده : edited by Didier Dubois, Henri Prade, Erich Peter Klement.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
31. Handbook of Philosophical Logic :
پدیدآورنده : by D. Gabbay, F. Guenthner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General)
رده :
BC6
.
B934
1989
32. Handbook of Philosophical Logic
پدیدآورنده : edited by D.M. Gabbay, F. Guenthner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General)
33. Handbuch der Logik
پدیدآورنده : von N.O. Losskij, W. Sesemann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Philosophy.
رده :
BC78
.
R8
V666
1927
34. Hilbert's Program :
پدیدآورنده : by Michael Detlefsen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
35. Husserl and Analytic Philosophy
پدیدآورنده : by Richard Cobb-Stevens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Husserl, Edmund, -- 1859-1938.,Logic.,Philosophy (General)
36. Imperatives
پدیدآورنده : Hamblin, C. L. )Charles Leonard(, 2291-5891
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : Imperative ، Grammar, Comparative and general,، Commands )Logic(,، Semantics )Philosophy(
رده :
P
281
.
H3I4
37. Imperatives /
پدیدآورنده : C.L. Hamblin ; foreword by Nuel Belnap.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Commands (Logic),Grammar, Comparative and general-- Imperative.,Semantics (Philosophy),Semantics [Philosophy].,Grammar, Comparative and general-- Imperative.,Impératif (Linguistique),Impératifs (Logique),Sémantique (Philosophie),Commands (Logic),Grammar, Comparative and general-- Imperative.,Semantics (Philosophy)
رده :
P281
.
H36
1987
38. Inference on the Low Level
پدیدآورنده : by Hannes Leitgeb.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Genetic epistemology.,Logic.,Philosophy (General).
39. Informatics and the Foundations of Legal Reasoning
پدیدآورنده : edited by Zenon Bankowski, Ian White, Ulrike Hahn.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Philosophy of law.
رده :
K87
.
E358
1995
40. Initiatives in Logic
پدیدآورنده : edited by Jan Srzednicki.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General)
رده :
BC135
.
E358
1987
